2. Advances in aeronautical informatics :
Author: Umut Durak, Jürgen Becker, Sven Hartmann, Nikolaos S. Voros, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aeronautics.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Aeronautics.,Aerospace & aviation technology.,Airplanes-- Electronic equipment.,Airplanes-- Technological innovations.,Artificial intelligence.,Business mathematics & systems.,Information retrieval.,Network hardware.,TECHNOLOGY & ENGINEERING-- Engineering (General)
Classification :
TL545
5. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
6. Compositional Verification of Concurrent and Real-Time Systems
Author: by Eric Y. T. Juan, Jeffrey J. P. Tsai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
7. Enabling Technologies for Computational Science
Author: edited by Elias N. Houstis, John R. Rice, Efstratios Gallopoulos, Randall Bramley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Electronic data processing.,Information theory.
8. Intelligent CAD Systems I :
Author: edited by Paul J.W. ten Hagen, Tetsuo Tomiyama.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer-aided design.,Software engineering.
Classification :
TA174
.
E358
1987
